Видео ютуба по тегу Subset-Closed Hyperproperties

SAS2018 - Verifying Bounded Subset-Closed Hyperproperties (by Michele Pasqua)
SAS2018 - Verifying Bounded Subset-Closed Hyperproperties (by Michele Pasqua)